Nuprl Lemma : Id_wf
0,22
postcript
pdf
Id
Type
latex
Definitions
t
T
,
Id
origin
Type Type T